title change in INSTALL files