[tor-commits] [community/master] rename: centosrhel -> centos-rhel, and debianubuntu -> debian-ubuntu. build OK