diff --git a/build.sbt b/build.sbt
index ddd3c0a82acbdc5bb4f52cdd2f9ec27cc9174ecc..d7a5a5e090f1d63706130c0554b4e514c470418a 100644
--- a/build.sbt
+++ b/build.sbt
@@ -91,7 +91,7 @@ sourceGenerators in Compile <+= Def.task {
   IO.write(build, s"""|package leon
                       |
                       |object Build {
-                      |  val baseDirectory = \"${baseDirectory.value.toString}\"
+                      |  val baseDirectory = \"\"\"${baseDirectory.value.toString}\"\"\"
                       |  val libFiles = List(
                       |    ${libFiles.mkString("\"\"\"", "\"\"\",\n    \"\"\"", "\"\"\"")}
                       |  )