[petsc-dev] changed --with-shared to --with-shared-libraries --known-mpi-shared to --know-mpi-shared-libraries --with-dynamic to --with-dynamic-loader