Re: [firedrake] path issue? maybe?