add compatibility with old awk version