Fix printf formats for 64bit compilation