fix bug 1321259: specific chars in local repo URL should be handled correctly