Merge pull request
#2511 from minrk/remote_profile_dir...
Merge pull request
#2511 from minrk/remote_profile_dir
trigger default remote_profile_dir when profile_dir is set
n SSHLaunchers
remote_profile_dir_default could be triggered before profile_dir was set,
resulting in an empty remote_profile_dir, causing failures.