It appears that even using plain "\\" in a replacement string for sub
and gsub is still problematic. Most awks handle this OK (returning a
literal backslash) provided the next character is not a backslash, but
on ULTRIX 4.5 nawk eats the next character regardless and interprets
it as a backslash-escape sequence, oops.
So let's try something a bit different. We can ask awk what it does
with "\\\\", and use either "\\\\" or "\\" depending on the answer.