diff --git a/Admin/Linux/build b/Admin/Linux/build
--- a/Admin/Linux/build
+++ b/Admin/Linux/build
@@ -1,3 +1,3 @@
 #!/usr/bin/env bash
 
-gcc -static -m64 -Wall Isabelle.c -o Isabelle
+gcc -m64 -Wall Isabelle.c -o Isabelle