Clean up printfs

Now they should be type-safe with regards to 32/64 bits issues.