Update INSTALL for new library