fixes for 64-bit Linux host build