Update to 2.1.0.8.1.  Include a fix to work around Mininet version number
checking with non-numeric characters.