synced protege files