correction for 64-bit Linux build