diff --git a/utils/launch.sh b/utils/launch.sh
index ab9a6efe..2a0106de 100755
--- a/utils/launch.sh
+++ b/utils/launch.sh
@@ -22,7 +22,8 @@ usage() {
 }
 
 NAME="$(basename $0)"
-HERE="$(cd "$(dirname "$0")" && pwd)"
+REAL_NAME="$(readlink -f $0)"
+HERE="$(cd "$(dirname "$REAL_NAME")" && pwd)"
 PORT="6080"
 VNC_DEST="localhost:5900"
 CERT=""