fix library renaming