Process libraries during the update step, and improve the verbose output