GNOME Awesome-WM fixes (?) for 14.10