Speed up ssh access by turning off DNS checking

Closes #439