Re: [firedrake] problem with scripts/firedrake-clean