python-gtksourceview: rebuild unused