diff -r 0851db8cde12 -r 122c0d6cb790 src/Pure/System/numa.scala
--- a/src/Pure/System/numa.scala	Sat Sep 08 22:43:25 2018 +0200
+++ b/src/Pure/System/numa.scala	Sat Sep 08 22:52:12 2018 +0200
@@ -56,7 +56,7 @@
   {
     def warning =
       if (nodes().length < 2) Some("no NUMA nodes available")
-      else if (!numactl_available) Some("missing numactl tool")
+      else if (!numactl_available) Some("bad numactl tool")
       else None
 
     enabled &&