<div dir="auto"><span style="color:rgb(128,0,128);font-family:sans-serif;font-size:13.696px">> I'd do the opposite: provide 5.3.0 for the adventurous folks who compile</span><br style="color:rgb(128,0,128);font-family:sans-serif;font-size:13.696px"><span style="color:rgb(128,0,128);font-family:sans-serif;font-size:13.696px">> it, and stick with the hassle-free repackaged 5.2.5 for mere users.</span><div dir="auto"><span style="color:rgb(128,0,128);font-family:sans-serif;font-size:13.696px"><br></span></div><div dir="auto"><span style="color:rgb(128,0,128);font-family:sans-serif;font-size:13.696px"><br></span></div><div dir="auto"><span style="color:rgb(128,0,128);font-family:sans-serif;font-size:13.696px">I prefer the later version as well (5.3.0) and I am glad Willy keeps it up-to-date.</span></div></div>