[firedrake] Configure error on ARCHER