Pulse-update-manager: debian packaging