diff --git a/project/Build.scala b/project/Build.scala
index eacf3b0da048b4905ced7b518867b5b9311f9da0..b786ba8e5c4a14802061df085017268d491ca084 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -48,7 +48,7 @@ object Leon extends Build {
 
   val sourceGen = {
     sourceGenerators in Compile += Def.task {
-      val libFiles = ((baseDirectory.value / "library") ** "*.scala").getPaths.mkString("List(\"", "\", \"", "\")")
+      val libFiles = ((baseDirectory.value / "library") ** "*.scala").getPaths.mkString("List(\"\"\"", "\"\"\", \"\"\"", "\"\"\")")
 
       val build = (sourceManaged in Compile).value / "leon" / "Build.scala";