dirseparator     2616 lib/pdf/GFXOutputDev.cc     strcat(config_file, dirseparator());
dirseparator     2658 lib/pdf/GFXOutputDev.cc             strcat(fontname, dirseparator());