[firedrake] path issue? maybe?