10_package_deb_files: Debian packer for CMake