Index: tools/setup_environment.sh
===================================================================
diff -u -r028952270169971af5075574ba7b7b4ba241acd3 -r83f6658e1a607c9c8d126d82ff9420c3c4e4919f
--- tools/setup_environment.sh	(.../setup_environment.sh)	(revision 028952270169971af5075574ba7b7b4ba241acd3)
+++ tools/setup_environment.sh	(.../setup_environment.sh)	(revision 83f6658e1a607c9c8d126d82ff9420c3c4e4919f)
@@ -16,7 +16,6 @@
 ############################################################################
 cd ../
 
-pip3 install virtualenv
 virtualenv --python=python3 venv
 source venv/bin/activate
 pip3 install -r requirements.txt