1 files changed, 2 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index e82d2054..f9abb530 100644
--- a/Makefile
+++ b/Makefile
@@ -97,8 +97,8 @@ ccomp: driver/Configuration.ml
         && rm -f ccomp && ln -s _build/driver/Driver.native ccomp
 
 ccomp.byte: driver/Configuration.ml
-	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.byte \
-        && rm -f ccomp.byte && ln -s _build/driver/Driver.byte ccomp.byte
+	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.d.byte \
+        && rm -f ccomp.byte && ln -s _build/driver/Driver.d.byte ccomp.byte
 
 runtime:
 	$(MAKE) -C runtime