VMware developers released a GUI debugging tool for GTK+