[firedrake] Error instalation