Mike: removed obsolete library