Update library.re