simple cleanup with __del__ builtin method