Fix build errors on 64-bit Linux