Fix format specifier for uint64_t (fixes #205)