Remove now obsolete libraries.