One more maintenance release.
This one fixes some bugs discovered last week, including mess datafiles, 7zip memory leaks and undumped devices.
Big thanks to people reporting these bugs in the forum.