Hopefully fix 64 bit Linux build.