Fixing repository names (avoids conflicts with external setting files).