Temporarily disable mmap code in replay, while it's effectively disabled in recording

(This is just to simplify the refactoring.)