start making coq-builder work under Darwin again: build gtksourceview2 for lablgtk