Freeing memory-mapped file at the end of request