proposed fix for #1147 by checking for known_hosts file
[monkeysphere.git] / packaging / debian / compat
1 7