diff --git a/Makefile b/Makefile
index f58123ad..3995e022 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ OPTS= -j $(J)
 
 LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
 
-all: lib test
+all: build test
 
 build:
 	jbuilder build $(OPTS) @install
diff --git a/msat.exe b/msat.exe
new file mode 120000
index 00000000..cceb9ac3
--- /dev/null
+++ b/msat.exe
@@ -0,0 +1 @@
+_build/default/src/main/main.exe
\ No newline at end of file