Admin/Linux/build
2013-10-07 wenzelm 2013-10-07 native executable even for Linux, to avoid surprises with file managers opening executable script as text file;