Cleanup at exit time, makes valgrind happy