Merge "First step for Ubuntu mininet migration"