Minor fix to how DOSBox config files are loaded