Replace call to mawk by awk.

mawk handling of `\.` is different from gawk:
gawk complains about `warning: escape sequence '\.' treated as plain '.'`

New version works identically with both.