INSTALL: connextion -> connexion