fix gawk syntax