Properly record and print 64 bit file sizes, do not truncate the file size