pyceo/debian/ceo-common.install