Fixes incompatability with gawk