bootstrap.sh: also set-up known hosts