install gawk with apt-get only when it is available