initial 64-bit Linux support