chiark / gitweb /
Fixes for 64-bit Linux support. Reported by Ross Younger.