Use patched coverage and gevent on our repo instead