https://flnug.com/tech/leonardo/change-the-host-key-in-virtualbox/