Fix previous patchs... (generate 'src/tools/config.ml', last fix ??? )