Speed up builtin gnome-shell animations.