[firedrake] Installation issue