Dear all,

I am working on a Linux machine on which the IT team tried to install Firedrake, but got the following error: