fix CentOS-vs-Ubuntu mixup in package repo stuff