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

Let say, I'm trying to improve by github's statistics...