Added to src/configfile.c: