fixed a problem that deleted some libraries in a previous push.