diff --git a/src/main/scala/leon/Settings.scala b/src/main/scala/leon/Settings.scala
index 43b595df6d1e461c3e3c1e0c1c3a57f1e364573a..f9de5e4b15cf3dcb68e16d4e43be903e55781b4d 100644
--- a/src/main/scala/leon/Settings.scala
+++ b/src/main/scala/leon/Settings.scala
@@ -7,15 +7,20 @@ object Settings {
 
   var showIDs: Boolean = false
   var silentlyTolerateNonPureBodies: Boolean = false
+
+  def defaultClassPath() = {
+    val env = System.getenv("SCALA_HOME")
+    if (env != "") {
+      List(env+"/lib")
+    } else {
+      Nil
+    }
+  }
 }
 
 case class Settings(
-  val synthesis: Boolean    = false,
-  val xlang: Boolean        = false,
-  val verify: Boolean       = true,
-  val classPath: String     = 
-    List(
-      "/home/ekneuss/scala/scala-2.9.2/lib/",
-      "/home/ekneuss/git/leon-2.0/library/target/scala-2.9.2/"
-    ).mkString(":")
+  val synthesis: Boolean      = false,
+  val xlang: Boolean          = false,
+  val verify: Boolean         = true,
+  val classPath: List[String] = Settings.defaultClassPath()
 )
diff --git a/src/main/scala/leon/plugin/ExtractionPhase.scala b/src/main/scala/leon/plugin/ExtractionPhase.scala
index 08be331557580b02bd495d89e2483319b7a12b89..2b9c197c43a6d7131a775e49198c8ea636a6dba9 100644
--- a/src/main/scala/leon/plugin/ExtractionPhase.scala
+++ b/src/main/scala/leon/plugin/ExtractionPhase.scala
@@ -13,15 +13,7 @@ object ExtractionPhase extends LeonPhase[List[String], Program] {
 
     val settings = new NSCSettings
 
-    val scalaHome = System.getenv("SCALA_HOME")
-
-    val fullClassPath = if (scalaHome != "") {
-      scalaHome+"/lib:"+ctx.settings.classPath
-    } else {
-      ctx.settings.classPath
-    }
-
-    settings.extdirs.value = fullClassPath
+    settings.extdirs.value = ctx.settings.classPath.mkString(":")
 
     val compilerOpts = args.filterNot(_.startsWith("--"))
 
diff --git a/web/app/models/LeonConsole.scala b/web/app/models/LeonConsole.scala
index aa33fe9fee40dc88178368fac02352ebb820df3b..21712d5e0c42fa04c40381ac50ef80145ac8d0ac 100644
--- a/web/app/models/LeonConsole.scala
+++ b/web/app/models/LeonConsole.scala
@@ -90,7 +90,7 @@ class ConsoleSession extends Actor {
       log("Welcome to LeonOnline!")
       log("Processing request...")
 
-      val classPath = Play.current.configuration.getString("app.classpath").getOrElse("")
+      val classPath = Play.current.configuration.getString("app.classpath").map(_.split(":").toList).getOrElse(Settings.defaultClassPath())
 
       mode match {
         case "verification" =>