--- PHP_CompatInfo-2.19.0/phpcompatinfo.xml.dist	2013-07-11 22:21:27.000000000 +0200
+++ PHP_CompatInfo-2.19.0/phpcompatinfo.xml	2013-07-12 08:22:34.529605184 +0200
@@ -5,13 +5,14 @@
     reportFileAppend="false"
     cacheDriver="file"
     recursive="false"
-    fileExtensions="php, inc, phtml"
+    fileExtensions="php, inc, phtml, module, install"
     consoleProgress="true"
     verbose="false"
     >
 
     <cache id="file">
         <options>
+            <save_path>/tmp/phpci-%{USER}</save_path>
             <gc_probability>1</gc_probability>
             <gc_maxlifetime>86400</gc_maxlifetime>
         </options>