Fix known hosts stuff for iOS