GNU AWK added