Now going to keep ssh_config in dropbox rather than github.