Fix duplication of CONFIG_FILE