/tools/

• ../
• gnome-panel-control
• themeupdate