diff.c: Properly quote file names in diff --summary output.