Ok good, upgrading glade-gtk2 and libgladeui-1-11 from trusty-proposed (version 3.8.0-0ubuntu6.1) fixed the segfault.
Ok good, upgrading glade-gtk2 and libgladeui-1-11 from trusty-proposed (version 3.8.0-0ubuntu6.1) fixed the segfault.