diff -r a4fc09b35bc1 -r ce975712c050 common/bin/compare.sh
--- a/common/bin/compare.sh	Wed Nov 04 12:45:55 2015 +0100
+++ b/common/bin/compare.sh	Thu Nov 05 10:58:53 2015 +0100
@@ -989,7 +989,7 @@
     fi
 fi
 
-THIS="$( cd "$( dirname "$0" )" > /dev/null && pwd )"
+THIS="$SCRIPT_DIR"
 echo "$THIS"
 THIS_SCRIPT="$0"