massive speedup in config_tools.py