PORT-125: 64-bit library naming

Updated the 64-bit libraries to use the correct naming convention.