const char *PISM_DefaultConfigFile = PISM_DEFAULT_CONFIG_FILE;