Fix: remember to merge default and host-specific SSH options