starting porting to Python 3 and GTK+3 and now using GtkBuilder