Update for Gnomeshell 3.10