Fix segfaults on 64-bit Linux.