[polyml] Bug in x86-64 version of >=PolyML-5.4.1