Admin/Linux/Isabelle.c
2013-10-07 ago proper NULL termination;
2013-10-07 ago native executable even for Linux, to avoid surprises with file managers opening executable script as text file;