Modify header that defines SIZE_MAX.

  * The previous definition does not work all the time for some
    reason.
  * This is still a temporary hack. The issue must be addressed
    properly.