Make s file format version a macro. Test that format version is what we expect.

If want_mmap!=0 and, somehow, HAVE_MMAP is undefined, return with an error.
This case is currently unreachable because caller sets want_mmap only when
HAVE_MMAP is defined, but if we test for this case here, then it should be
handled correctly.