Work around broken <inttypes.h> on HP-UX