Ignore a config.php if present (useful for development)