[firedrake] aborted run