Send non-standard port in host header of git://