Ответ gertvdiijk, вероятно, прав, но я не мог понять, что делать. Я нашел:
https://launchpad.net/~schot/+archive/ubuntu/gawk
имеет PPA для Gnu Awk 4.0:
To получить его оттуда, который вы могли бы выполнить:
apt-get install python-software-properties
add-apt-repository ppa:schot/gawk
apt-get update
apt-get install gawk
Ссылка https://launchpad.net/~schot/+archive/ubuntu/gawk не была напрямую полезной для меня, потому что это была только ссылка, и у меня не было подробных инструкций о том, что действительно нужно дать Ubuntu 12.04 LTS - мне пришлось сделать несколько пробных и ошибок, прежде чем я доберусь до четырех строк выше.