gtksourceviewmm3: rebuild