CP-8081: fix 64-bit build error

Minor changes (mostly printf format specifiers) due to slightly
different types in 64-bit build.