specify socket timeout for ssh connections, otherwise they could go on forever