[firedrake] openMPI 3.0 testing issues