I installed firedrake with the following options few months ago : 

python3 firedrake-install --disable-ssh --mpiexec mpirun.openmpi --mpicc mpicc.openmpi --mpicxx mpicxx.openmpi --mpif90 mpif90.openmpi

I am now trying to update the code. So I am activating the virtualenv and I run : firedrake-update

I then get the error : 

Running firedrake-update --verbose
Traceback (most recent call last):
  File "firedrake-update", line 1254, in <module>
    mpiexec_loc = shutil.which(args.mpiexec)
AttributeError: 'Namespace' object has no attribute 'mpiexec'

But if I run the following in a python script, everything seems OK :

>>> import shutil
>>> shutil.which('mpiexec')
'/home/mylogin/dev/Firedrake/firedrake/bin/mpiexec'

What is going wrong?

Nicolas