(it is installed by apt-get install gawk, I believe)

Fixes #557.

R=rsc
CC=golang-dev
https://golang.org/cl/194050