Make munmap() more flexible per POSIX spec.

Resolves #725.