some cleaning and fixing an error with printing uint64_t

see : http://stackoverflow.com/questions/9225567/how-to-print-a-int64-t-type-in-c