gawk is ok