diff --git a/build.sbt b/build.sbt
index 99f751a6511689c1d6a5ce368d9ebde284ff16d2..58a1d325bd4fe533bb6313640c677c6df0803831 100644
--- a/build.sbt
+++ b/build.sbt
@@ -60,7 +60,7 @@ script := {
     } else {
       s.log.info("Generating '"+f.getName+"' script ("+(if(is64) "64b" else "32b")+")...")
     }
-    val paths = (res.getAbsolutePath +: out.getAbsolutePath +: cps.map(_.data.absolutePath)).mkString(":")
+    val paths = (res.getAbsolutePath +: out.getAbsolutePath +: cps.map(_.data.absolutePath)).mkString(System.getProperty("path.separator"))
     IO.write(f, s"""|#!/bin/bash --posix
                     |
                     |SCALACLASSPATH="$paths"
diff --git a/doc/installation.rst b/doc/installation.rst
index bec009b563455fb4b8084349e7a426b514f3fe00..01c0b680083490e52bd24176a84068f286330aa3 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -66,6 +66,15 @@ all the appropriate settings:
 You will now need to either port the bash script to Windows, or to run it
 under Cygwin.
 
+**Known issues**
+
+*Missing jars*
+
+If running leon produces errors because it could not find some cafebabe*.jar or vanuatoo*.jar, it is probably because symlinks have not been resolved. If your architecture is x64, do the following:
+
+1. Copy unmanaged/common/cafebabe*.jar to unmanaged/64/
+2. Copy unmanaged/common/vanuatoo*.jar to unmanaged/64/
+
 .. _smt-solvers:
 
 SMT Solvers