Little modification of INSTALL script