fix regexp
regex change
Merge pull request #117 from arnaudbey/fixregex

Inexplicably, awk won't match digits to port numbers.