select extension for gawk
