Fix previous patch ... (generation of 'src/tool/config.ml')