adding a new bug about the interaction between HostKeyAlias and monkeysphere-ssh...