fix INSTALL instructions