Fix printf format for 32 bit archs