now works in mawk (and gawk/awk), plugins not all compatible though