rebuild : python-gtksourceview