A few MallocBench record/replay fixes