diff -r 04e5dfbd3f3d -r 3586ebd9fac8 DebugClients/Python/coverage/config.py
--- a/DebugClients/Python/coverage/config.py Sat Jul 23 13:33:54 2016 +0200
+++ b/DebugClients/Python/coverage/config.py Sun Jul 24 12:01:01 2016 +0200
@@ -9,7 +9,9 @@
import sys
from coverage.backward import configparser, iitems, string_class
-from coverage.misc import CoverageException
+from coverage.misc import CoverageException, isolate_module
+
+os = isolate_module(os)
class HandyConfigParser(configparser.RawConfigParser):
