Admin/lib/Tools/makedist_bundle

 if [ "$ISABELLE_PLATFORM_FAMILY" = linux -a "$PLATFORM_FAMILY" != macos -o "$ISABELLE_PLATFORM_FAMILY" = macos ]
 then
   case "$PLATFORM_FAM" in
     linux)
       echo "application for $PLATFORM_FAMILY"
-      mv "$BUNDLE_ARCHIVE" "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz"
+      ln -s "$BUNDLE_ARCHIVE" "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz"
       ;;
     macos)
       echo "application for $PLATFORM_FAMILY"
       (
         cd "$TMP"