Re: [petsc-dev] broken options handling with intel 16.0 compilers on mac OS