don't mess around with gawk options