restore the js_filename option to the config, so that we can actually load dosbox :P