Fix userdata destructors not being called