Fixed the INSTALL documentation (thanks to Guillaume Jimenez)