/usr/libexec/gawk/