diff -r 7c723aa87871 -r 0a01bc7f0946 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Sun Mar 13 12:50:46 2016 +0100
+++ b/lib/scripts/getfunctions	Sun Mar 13 13:04:50 2016 +0100
@@ -24,33 +24,6 @@
   export -f tar
 fi
 
-#shared library convenience
-function librarypath ()
-{
-  for X in "$@"
-  do
-    case "$ISABELLE_PLATFORM" in
-      *-darwin)
-        if [ -z "$DYLD_LIBRARY_PATH" ]; then
-          DYLD_LIBRARY_PATH="$X"
-        else
-          DYLD_LIBRARY_PATH="$X:$DYLD_LIBRARY_PATH"
-        fi
-        export DYLD_LIBRARY_PATH
-        ;;
-      *)
-        if [ -z "$LD_LIBRARY_PATH" ]; then
-          LD_LIBRARY_PATH="$X"
-        else
-          LD_LIBRARY_PATH="$X:$LD_LIBRARY_PATH"
-        fi
-        export LD_LIBRARY_PATH
-        ;;
-    esac
-  done
-}
-export -f librarypath
-
 #robust invocation via ISABELLE_JDK_HOME
 function isabelle_jdk ()
 {