be lax with ssh known hosts