Re: [mpich-discuss] MPICH make clean requires sudo and mucks with DESTDIR