pyceo/debian/ceo.install