Disable Visual C++ warning 4722 about aborting a destructor,
it has no value for us.