Updates INSTALL instructions.