correct build for 64-bit Linux