Restore the old __del__ behaviour