Removed obsolete extensions.