diff --git a/batch-driver.scm b/batch-driver.scm
index 099548e..da0bc88 100644
--- a/batch-driver.scm
+++ b/batch-driver.scm
@@ -548,7 +548,12 @@
 		    (collect-options 'types))
 		   (for-each
 		    (lambda (id)
-		      (load-type-database (make-pathname #f (symbol->string id) "types")))
+		      (or (load-type-database (make-pathname #f (symbol->string id) "types"))
+			  (let lp [(paths ##sys#include-pathnames)]
+			    (or (null? paths)
+				(load-type-database (make-pathname #f (symbol->string id) "types")
+						    (car paths))
+				(lp (cdr paths))))))
 		    mreq)
 		   (begin-time)
 		   (set! first-analysis #f)