64bit printf macros don't work on 32bit compilations, to be seen