a Gnome GUI for running make