Remove the empty dtor completely?