Fixed bug #12546: Paths look weird on Windows