--- a/Admin/Linux/build Tue Jan 26 20:06:38 2021 +0100 +++ b/Admin/Linux/build Tue Jan 26 20:16:56 2021 +0100 @@ -1,3 +1,3 @@ #!/usr/bin/env bash -gcc -static -m64 -Wall Isabelle.c -o Isabelle +gcc -m64 -Wall Isabelle.c -o Isabelle