using a better freeze heuristics, and fix code for memmap crate (their API changed)

Merge request reports

Loading