Yes, the final result has `\\` in the Windows paths.  It's pretty standard pain for WIndows paths ("it hurts about the same as usual, and builds character").