awk in in /usr/bin on Debian (at least)