Minor changes in INSTALL