Could we have a new release of mininet including the commit c3ba039 ?

Otherwise, we have to either tag explicitly the commit hash (or the master branch) or cherry pick the commit to get a working installation script