gtksourceview3 -> gtksourceview3-no-gi