Make sure we emit Linux packaging names that look right.