pyceo/debian/ceod.install