* Update the patch applied when installing Mininet * Additional changes intended to be part of previous commit * Specify a particular recent commit of Mininet to use
