more complete implementation of changing config.tools