Fix previous patch (generate 'src/tools/config.ml', third take...)