Change formats to work on 32-bit system

Previously printed uint64_t using %lu, which resulted in build warning