update to gnomeshell 3.10