Oops, the string passed to `awk` isn't the same as a shell command.

Fixes #808.
1 file changed