It looks like `mawk.tar.gz` is a symlink to `ftp://invisible-island.net/mawk/mawk-1.3.4-20131226.tgz`. So we could switch to that.