add a timeout to ssh calls in ssh_spec