cleanup in openflowXX_switch.cc destructors