Fix library synchronization