Re: [firedrake] Strange MPI error/warning after upgrading homebrew