diff --git a/tests/misc/version.i b/tests/misc/version.i
index 3a762af550b5fb818f962ec7d88d225747f95e50..2b739ebbd83e2b125fd1e0c738864c54c1df21c7 100644
--- a/tests/misc/version.i
+++ b/tests/misc/version.i
@@ -1,4 +1,4 @@
 /* run.config
-   EXECNOW: make -s @PTEST_DIR@/@PTEST_NAME@.cmxs
-   OPT: -no-autoload-plugins -load-module @PTEST_DIR@/@PTEST_NAME@.cmxs
+   MODULE: @PTEST_DIR@/@PTEST_NAME@.cmxs
+   OPT: -no-autoload-plugins
 */