Updated old library name in INSTALL.txt.