ssh_proxycommand needs to adapt to stricter ssh-keygen -F
I don't know what happened; either they started writing non-canonical addresses to known_hosts, or ssh-keygen -F is now stricter, but my ssh_proxycommand was failing silently. The patch attached fixes the problem.
(from redmine: created on 2014-02-26)