diff --git a/install_base.sh b/install_base.sh
index d5d96cb0ebb34858db18eec516acb8a768b35f21..56945549d46f2c264b9bde6281ed2362c6e4f140 100755
--- a/install_base.sh
+++ b/install_base.sh
@@ -85,7 +85,7 @@ install_android_sdk_manager() {
 # according to the distribution
 ANDROID_SDK_JAVA_VERSION=17
 find_java_home() {
-    _JAVA_BIN=$(find /usr/lib/jvm -path "*$ANDROID_SDK_JAVA_VERSION*/bin/java" -not -path '*/jre/bin/*' -print -quit)
+    _JAVA_BIN=$(find -L /usr/lib/jvm -path "*$ANDROID_SDK_JAVA_VERSION*/bin/java" -not -path '*/jre/bin/*' -print -quit)
     _JAVA_HOME=$(dirname "$_JAVA_BIN")/../
 
     echo "Found JAVA_HOME=$_JAVA_HOME"