change in mininet

taken from mininet/mininet