python-gtksourceview:rebuild