fix build of mininet

Signed-off-by: Vasiliy Tolstov <v.tolstov@selfip.ru>