diff --git a/build-aux/build.sh.in b/build-aux/build.sh.in
index 82cf2d6f..2a2cb3d0 100644
--- a/build-aux/build.sh.in
+++ b/build-aux/build.sh.in
@@ -102,6 +102,7 @@ fi
 )
 
 if test -n "$M2_PLANET" && (test "$mes_cpu" == "x86" \
+                                || test "$mes_cpu" == "x86_64" \
                                 || test "$mes_cpu" == "arm" ); then
     (
         . ${srcdest}build-aux/trace.sh