HRCPP-127 Use a different name for the 32bit library