adapt to name change of gtk sourceview