char       *filename;
                int                     filenamelen;
                int64           chunkoff;
+               char            chunkoff_str[32];
                int                     chunksize;
                char       *chunk;
 
                        continue;
                }
 
-               pg_log(PG_DEBUG, "received chunk for file \"%s\", offset " INT64_FORMAT ", size %d\n",
-                          filename, chunkoff, chunksize);
+               /*
+                * Separate step to keep platform-dependent format code out of
+                * translatable strings.
+                */
+               snprintf(chunkoff_str, sizeof(chunkoff_str), INT64_FORMAT, chunkoff);
+               pg_log(PG_DEBUG, "received chunk for file \"%s\", offset %s, size %d\n",
+                          filename, chunkoff_str, chunksize);
 
                open_target_file(filename, false);