issue #41: Path shortening on Windows has (usual) separator issues