dot needs double escape as it's used twice.

ubuntu gawk reports it