--- work/boolector-1.4.1-376e6b0-110304/btorsat.c	2010-06-14 18:38:20.000000000 +0200
+++ btorsat.c	2012-09-08 16:20:41.000000000 +0200
@@ -17,10 +17,10 @@
  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
 
-#include "../picosat/picosat.h"
+#include "picosat.h"
 
 #ifdef BTOR_USE_PICOPREP
-#include "../picoprep/picoprep.h"
+#include "picoprep.h"
 #endif
 
 #ifdef BTOR_USE_PRECOSAT