Updates def_library.