Two fixes

Installer was broken on CentOS, complaining about hightline/import missing.