I tested daily snapshot 7.39.1-20141110; it works well. Thank you for the fix.
curl does not use port-number information in known_hosts check