Re: [PATCH] Work around a parsing bug in GtkBuilder