/usr/share/awk/getopt.awk