Re: [firedrake] problems on my mac os x