Print format fixes, should work for 32 bit system as well