workaround for mingw 64 bit int issue in printf