added 32-bit library