updated after switching to debian/xfce