fprint_path_escaped
fprint_path_escaped(depfile, outname);
fprint_path_escaped(depfile, fullname);
void fprint_path_escaped(FILE *fp, const char *path);