Call 'awk' instead of 'gawk' for cross-platform compatibility.

Call `awk` instead of `gawk` for cross-platform compatibility. Linux systems normally have a symbolic link from `awk` to `gawk`, so there should be no difference in the functionality on those systems.
Revert "Merge pull request #622 from killabytenow/master"

This reverts commit 392bae3c453763e8f887f447678ab0202a36228a, reversing
changes made to 61cd9ee8b63bdd34fd3b5ebd58f2de3fce507a61.
Merge pull request #700 from jack-pappas/patch-1

Call 'awk' instead of 'gawk' for cross-platform compatibility.
Implement webrequest cancellation. Fixes #13200
Fix gshared synchronized wrappers for static methods.
Remove test-sgen from make check in tests/, it takes too much time.
Avoid using dmb/dsb/dib instructions on ARM v6.

This only worked by accident before the HAVE_ARMV<N>
changes because __ARM_ARCH_6__ is never defined by
any compiler.