fixing build on 64-bit Linux.