Fix preprocessor detection of 32 bit

To define the format string to use with counters at preprocessing time