This (trivial) patch updates awk to the latest version that is available on the author's homepage.
State Changed From-To: open->closed Committed, thanks.