--- IO-AIO/configure	2022/09/28 08:24:25	1.37
+++ IO-AIO/configure	2023/12/14 10:08:19	1.38
@@ -4762,7 +4762,8 @@
 #include <unistd.h>
 int main (void)
 {
-   int res = fexecve (-1, "argv", 0);
+   char *const argv[] = { "foo", "bar", 0 };
+   int res = fexecve (-1, argv, 0);
    return 0;
 }