Remove last traces of a long-gone library