include win32 friendlier printf() format