samsbox9 changed its network provider; updated the ssh/config