[Commits] 01f8db9: Followup to PR#91: use curl_easy_setopt() instead of putting port# into the URI.