Travis CI: install gawk using apt