diff --git a/.gitignore b/.gitignore
index 75bc3997..cfb63410 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,5 +6,5 @@ _build/
 .*.swp
 .session
 *.docdir
-util/log.ml
+src/util/log.ml
 msat
diff --git a/Makefile b/Makefile
index ffd07fd8..44c6245f 100644
--- a/Makefile
+++ b/Makefile
@@ -26,10 +26,10 @@ test: bin
 	@/usr/bin/time -f "%e" ./tests/run mcsat
 
 enable_log:
-	cd util; ln -sf log_real.ml log.ml
+	cd src/util; ln -sf log_real.ml log.ml
 
 disable_log:
-	cd util; ln -sf log_dummy.ml log.ml
+	cd src/util; ln -sf log_dummy.ml log.ml
 
 log:
 	cat _build/$(LOG) || true