diff -up ./src/s3_driver.c.tv ./src/s3_driver.c
--- ./src/s3_driver.c.tv	2013-05-24 13:31:10.186571896 +0200
+++ ./src/s3_driver.c	2013-05-24 13:31:54.924977387 +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 @@ static Bool S3ScreenInit(SCREEN_INIT_ARG
 	fbPictureInit (pScreen, 0, 0);
 	S3DGAInit(pScreen);
 
-        miInitializeBackingStore(pScreen);
         xf86SetBackingStore(pScreen);
 
 	/* framebuffer manager setup */