warn_if_directory
warn_if_directory("configfile", in, file);
void warn_if_directory(const char* filetype, FILE* f, const char* fname);