* Added a bit more info in the INSTALL file.