Debian/Ubuntu packaging code for GNOME-Shell extension Taskbar