Don't use "sub" in awk, older versions of awk don't have it

So, we do really annoying things instead.