removed obsolete extensions