util.py: patch subprocess if gevent is present