Fix format string to specify sizes properly

I needed this change to make it work on my x86_64 Linux installation.