Fix the 64-bit library; now Version 1.4.1