Make 64-bit compiler happy