Correct package name for OBS source setup