--- a/Tools/scripts/pyvenv	Sat Jun 09 17:31:59 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#!/usr/bin/env python3
-if __name__ == '__main__':
-    import sys
-    rc = 1
-    try:
-        import venv
-        venv.main()
-        rc = 0
-    except Exception as e:
-        print('Error: %s' % e, file=sys.stderr)
-    sys.exit(rc)