gawk: version bump; binaries moved to /usr/bin