diff --git a/Makefile b/Makefile
index cd4a9a4a..69a61af2 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ COMP=ocamlbuild -log $(LOG) -use-ocamlfind -classic-display
 FLAGS=
 DIRS=-Is sat,smt,common,util
 DOC=msat.docdir/index.html
-TEST=test.native
+TEST=sat_solve.native
 
 NAME=msat
 
diff --git a/bench/run b/bench/run
index 9e1391ed..2620a11e 100755
--- a/bench/run
+++ b/bench/run
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 CURDIR=`dirname $0`
-SOLVER="$CURDIR/../test.native"
+SOLVER="$CURDIR/../sat_solve.native"
 
 solvertest () {
     for f in `find -L $1 -name *.cnf -type f`
diff --git a/tests/run b/tests/run
index 9abf6c6f..bc8a66b0 100755
--- a/tests/run
+++ b/tests/run
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 CURDIR=`dirname $0`
-SOLVER="$CURDIR/../test.native"
+SOLVER="$CURDIR/../sat_solve.native"
 
 solvertest () {
     for f in `find -L $1 -name *.cnf -type f`
diff --git a/util/test.ml b/util/sat_solve.ml
similarity index 100%
rename from util/test.ml
rename to util/sat_solve.ml