Lost my libraries

in that case that should work for you to manually update the server: