gtksourceview2: suppress a warning