[firedrake] Installation fail inquiry