Fix build after openflowplugin merge.