AWk -> AWK

Aho, Weinberger, Kernighan