bump gtksourcevew but gedit 3.11.2 fails with strange gtk+ error