--- work/boolector-1.4.1-376e6b0-110304/makefile.in	2011-03-04 19:52:48.000000000 +0100
+++ makefile.in	2012-09-08 16:45:41.000000000 +0200
@@ -4,7 +4,7 @@
 .cc.o:
 	$(CC) $(CFLAGS) -c $<
 OBJ=boolector.o $(addsuffix .o,$(basename $(wildcard btor*.c))) \
-  ../picosat/picosat.o ../picosat/version.o @PRECOSAT@
+  @PRECOSAT@
 CC=@CC@
 CFLAGS=@CFLAGS@
 LIBS=@LIBS@