support for both gawk and mawk