diff --git a/ivette/src/frama-c/server.js b/ivette/src/frama-c/server.js
index a7cd15f52a326b05014f9aa22314b004d89099d9..deb41f081b5fa0f37ac813d86471a96f33e58b79 100644
--- a/ivette/src/frama-c/server.js
+++ b/ivette/src/frama-c/server.js
@@ -411,7 +411,7 @@ async function _launch() {
   }
   logout = logout && System.join( cwd, logout );
   logerr = logerr && System.join( cwd, logerr );
-  params = params.concat('-then','-server-zmq',sockaddr );
+  params = ['-server-zmq',sockaddr,'-then'].concat(params);
   let options = {
     cwd,
     stdout: { path: logout, pipe: true },