Be specific with percent sign in awk in DOS/Win

The percent sign (%) is used to mark DOS/Win environment variables, so it
must be doubled (%%) to yield a single percent sign visible to awk.