Files
gsh/gnutools/bin/pgawk.exe