small corrections to PETSc detection
added WSMP detection