diff -ruN gildas-src-jul18a/admin/define-system.sh gildas-src-jul18a.aarch64/admin/define-system.sh
--- gildas-src-jul18a/admin/define-system.sh	2018-06-12 15:22:32.000000000 +0200
+++ gildas-src-jul18a.aarch64/admin/define-system.sh	2018-07-21 13:05:52.000000000 +0200
@@ -174,7 +174,7 @@
     DEFAULT_CONFIG=          # Default config is empty
     case `uname` in
         Linux)
-            if [ `uname -m | grep -c "x86_64"` -ne 0 ]; then
+            if [ `uname -m | grep -c "64"` -ne 0 ]; then
         	GAG_MACHINE=x86_64
             else
         	GAG_MACHINE=pc