- use intmax_t from stdint.h for file position to ensure 64 bit Linux/Windows
  compatibility.