Add CONFIG_FILE option