Small workaround for speedup ssh connection with many machines.