remove __del__ and let GC do the work