use gawk to avoid gawk/mawk differences