Ignore possibly changed external host key

Fixes #25