Fix generation of 'src/tools/config.ml'