[petsc-dev] make reconfigure