Fix compilation with GCC 4.1.2 on 64-bit hosts