Debian packages for window manager icons