(BIN) gawk.texi.tar.gz