[petsc-dev] --download-mpich --download-openmpi and mpicc