/usr/libexec/awk/