Update library.txt