fixes for dotMemory 4.2