Adjust SSH config to accept github known_host