Ignore 'src/tools/config.ml'