specify known hosts file explicitly, so wrong home doesn't matter.