resolve issue #19 support for port numbers in url, debian bug #685881