PETSc: simplify the configure options