Use right types for x86_64 compatibility