Mirror extras to the main repository to avoid problem when using -Dcsstudio.local.repo.