fix CONFIGS handling