deb packaging: add missing files