Fix regex to support Mininet 20.30.40+++