Fix system/extras repo name