fix bug where in some cases config.inc.php doesn't get loaded