Update to latest cargo

This is a dirty hack because Cargo changed the way it determines the name of the libraries.

A real fix would be to reorganize the directories in a clear way.