The jenkins CI run failed for me. Is there a race condition downloading / installing the tool stack.tar.gz or is it some other more mundane problem?