fixed format specifier for non 64-bit