In the meantime GNOME can't handle simple window animations when OpenGL 3.0 is not present