Fix format string for 32bit systems.