Be more optimistic about mmap'd files not changing, in order to record faster.