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

Let say, I need a rest.