diff --git a/scripts/scalacleon b/scripts/scalacleon
index 4fb34bdbc3ae641a287327d071c17594517083a6..d7c3bd25a97170ac07bbe7ca96bcd957364cd43c 100755
--- a/scripts/scalacleon
+++ b/scripts/scalacleon
@@ -3,9 +3,9 @@
 #  - Leon home is stored in PATH_TO_LEON
 #  - we have xargs installed
 #  - ${SCALA_COMPILER} is on the path
-PATH_TO_LEON="./"  # assume we run from Leon home directory
+PATH_TO_LEON=".."  # assume we run from Leon script directory
 PATH_TO_LEON_LIB="${PATH_TO_LEON}/library/"
-OUT_CLASSES_DIR="./out-classes"
+OUT_CLASSES_DIR="${PATH_TO_LEON}/out-classes"
 SCALA_COMPILER="fsc"
 mkdir -p ${OUT_CLASSES_DIR}
 echo ========= Now invoking: ====================================
diff --git a/scripts/scalaleon b/scripts/scalaleon
index ca1b55d12527994589190a877c77735d8cf49e57..58a164168d933e2777b330aafb9d9f0b240fb2cd 100755
--- a/scripts/scalaleon
+++ b/scripts/scalaleon
@@ -1,7 +1,7 @@
 #!/bin/bash --posix
 # Assumes:
 #  - ${SCALA_JVM} is on the path
-OUT_CLASSES_DIR="./out-classes"
+OUT_CLASSES_DIR="../out-classes" # assume we run from scripts directory
 SCALA_RUN="scala"
 if [[ -d ${OUT_CLASSES_DIR} ]] 
 then