Fix INSTALL instructions.