well I was able to overcome my aversion against autotools so here there is a patch which works for me: https://bugzilla.gnome.org/show_bug.cgi?id=775975
_______________________________________________ builder-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/builder-list
