deleted gawk-source