Force compile_et and mk_cmds to use /usr/bin/awk so that we will work
on any Debian system regardless of which version of awk is installed.
(Closes: #299341)

2 files changed