A poxy switching tool for GNOME