add 64-bit Linux libraries