Still trying to debug firedrake tests