Use the proper distribution name