--- /dev/null
+--- xf86-video-s3-0.6.5/src/s3_driver.c~ 2012-07-17 06:50:05.000000000 +0200
++++ xf86-video-s3-0.6.5/src/s3_driver.c 2013-04-07 21:41:50.108276860 +0200
+@@ -52,7 +52,6 @@
+ #include "compiler.h"
+ #include "mipointer.h"
+ #include "micmap.h"
+-#include "mibstore.h"
+ #include "fb.h"
+ #include "inputstr.h"
+ #include "shadowfb.h"
+@@ -822,7 +821,6 @@
+ fbPictureInit (pScreen, 0, 0);
+ S3DGAInit(pScreen);
+
+- miInitializeBackingStore(pScreen);
+ xf86SetBackingStore(pScreen);
+
+ /* framebuffer manager setup */