Added Gawk 4.1 requirement