bring library.txt up to date