Even further changes to reflect new mininet API