correcting INSTALL