Dear Firedrake team, I am having big troubles in installing Firedrake on Ubuntu 18.04. - First I would like to report the error that I get when running : python3 ./firedrake-install --disable-ssh. Let me point that I run it behind a proxy but setting http_proxy seems to work, at least for several steps on the installation process. You can find the log as attached file.I have tried to run this script as a simple user or as root but i get the same error message. I also attach the echo of the script from the shell because it seems to me that they give some contreversial information of the origin of the error. - Second, I would like to know if there is a way to rerun the installation script *without* erasing the directory that the previous failed execution created. Indeed the script complains that "Specified venv '/home/xxxxx/dev/Firedrake/firedrake' already exists. Can't install into existing venv '/home/xxxxxx/dev/Firedrake/firedrake'" and the only solution I found is to erase the folder and rerun the script from the begining, meaning downloading again all that I have already downloaded. I thank you in advance for your help, Nicolas