diff -r fe8ee8099b47 -r 45eb6829dde2 lib/scripts/isabelle-platform
--- a/lib/scripts/isabelle-platform	Thu May 12 11:03:48 2011 +0200
+++ b/lib/scripts/isabelle-platform	Thu May 12 16:00:48 2011 +0200
@@ -57,10 +57,10 @@
         ;;
     esac
     ;;
-  FreeBSD|NetBSD)
+  *BSD)
     case $(uname -m) in
       i?86 | x86_64)
-        ISABELLE_PLATFORM=x86-bsd
+        ISABELLE_PLATFORM=x86-linux
         ;;
     esac
     ;;