Re: [petsc-dev] getting rid of win32fe