Simplify userdata destructor handling