Fix gtksourceview2