Don't use RandomAccessInput in BadiffFileDiff because memory-mapped
files have a lot of undefined behavior if you try to map the same file
twice.