refined PETSc configure parameters; minor cleanup