Fix regex to support Mininet 20.30.40+++

util/versioncheck.py

@@ -8,7 +8,7 @@
 version = version.strip()
 
 # Find all Mininet path references
-lines = co( "grep -or 'Mininet \w\.\w\.\w[\w\+]*' *", shell=True )
+lines = co( "grep -or 'Mininet \w\+\.\w\+\.\w\+[+]*' *", shell=True )
 
 error = False