correcting dep. python-gtksourceview