Speed up Debian with Xfce (or Fluxbox)