#1174 avoid monkeypatching __del__; seems to have some dire consequences in combination with SQIC