Use consistent integer types for 64bit compilation