--- xf86-video-ark-0.7.5/src/ark_driver.c 2012-07-17 06:51:36.000000000 +0200 +++ xf86-video-ark-0.7.5/src/ark_driver.c.new 2013-03-09 12:34:04.336299997 +0100 @@ -39,7 +39,6 @@ #include "compiler.h" #include "mipointer.h" #include "micmap.h" -#include "mibstore.h" #include "fb.h" #include "ark.h"