gawk: signify interactivity in name

I forgot to commit this.