kwlzn: Thanks. I think that's probably fine, although we do still support all other binaries for 32-bit Linux. I'll dig just a tiny bit more on my local repro and cry uncle and go with your PR if I've got no counter proposal on my next layover tonight.