gawk 4.1 for mingw build