  make DESTDIR="$PKG" install

  # GNOME Panel is no longer available in the official repositories
  rm -r "$PKG"/usr/bin/{gdm-control,gnome-panel-control,openbox-gnome-session} \
    "$PKG"/usr/share/gnome{,-session} \
    "$PKG"/usr/share/man/man1/openbox-gnome-session.1 \
    "$PKG"/usr/share/xsessions/openbox-gnome.desktop

  sed -i 's:startkde:/usr/bin/\0:' \
    "$PKG"/usr/share/xsessions/openbox-kde.desktop