fix problem with file_exists in config.php