--- work/boolector-1.4.1-376e6b0-110304/btorexp.c	2011-03-04 19:49:37.000000000 +0100
+++ btorexp.c	2012-09-08 16:20:16.000000000 +0200
@@ -27,7 +27,7 @@
 #include "btorconfig.h"
 #include "btorexit.h"
 #include "btorrewrite.h"
-#include "../picosat/picosat.h"
+#include "picosat.h"
 
 #include <stdlib.h>
 #include <stdio.h>