diff --git a/project/Build.scala b/project/Build.scala
index b786ba8e5c4a14802061df085017268d491ca084..893b39623365d4258b8ca5af8e8d0a20992e9f98 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -48,14 +48,16 @@ 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
 
       val build = (sourceManaged in Compile).value / "leon" / "Build.scala";
 
       IO.write(build, s"""|package leon;
                           |
                           |object Build {
-                          |val libFiles = $libFiles;
+                          |  val libFiles = List(
+                          |    ${libFiles.mkString("\"\"\"", "\"\"\",\n    \"\"\"", "\"\"\"")}
+                          |  )
                           |}""".stripMargin)
 
       Seq(build)