this time manually because Protege keeps the old one in some places