point to a patched tools.cfg to fix travis timeouts...