option -> options in INSTALL, fix from Gador