Added support for non-GNU AWK