b5121d80032009f4134d00fcf4b51d8c favorite-apps.patch e9280405b9c0f7ff84c6cd8342b0e1b2 gnome-shell-3.1.4.tar.xz