diff --git a/project/Build.scala b/project/Build.scala
index b24af4918454a381aa37bea303ae9898455d6d00..81c420dd91b9f7adbb77b43885989a70a3a65338 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -34,7 +34,7 @@ object Leon extends Build {
         fw.write(scalaHomeDir)
         fw.write("\" -Dscala.usejavacp=true ")
         fw.write("scala.tools.nsc.MainGenericRunner -classpath ${SCALACLASSPATH} ")
-        fw.write("funcheck.Main $@" + nl)
+        fw.write("leon.plugin.Main $@" + nl)
         fw.close
         scriptFile.setExecutable(true)
       } catch {