gtksourceview: rebuild