Clean up types in printfs to make sure the printouts will work on 32 and 64 bits machines.