Merge change 6382

* changes:
  add a virtual destructor to region_rasterizer, to be on the safe side