Changes to reflect new mininet API