No matches were found for subject:"Bug#618681\: gnome\-shell\: fails to start due to mixing gtk\+ 2 and 3 symbols"