Merge branch 'V5-4-patches' into V5-5-patches

* V5-4-patches:
  BUG #a2551: fix non-sequential cpu numbers on HP-UX. Thanks to Dave Olker.