Detect which awk to use

Some embedded distributions (e.g. buildroot) may only provide mawk,
without a symlink to awk.

At first glance, awk scripts to appear to work fine with either
gawk or mawk.