fixes the problem of 'Command tools/with_venv.sh pip install --upgrade pip failed.' In the process adopted install_venv_common.py. Note setup.sh is currently commented out.