Do not disable SSH host key checking

This addresses CVE-2013-2233.