Change printf format string for integer types

Change the format string to use the correct one for 64 bit integer types.