diff --git a/src/plugins/e-acsl/.gitlab-ci.yml b/src/plugins/e-acsl/.gitlab-ci.yml
index d059b01f001677b576b64591a3020086d7b23825..a444867e757a58cdce3e68b625614fdcd9bf9a2b 100644
--- a/src/plugins/e-acsl/.gitlab-ci.yml
+++ b/src/plugins/e-acsl/.gitlab-ci.yml
@@ -1,6 +1,6 @@
 Tests:
   script:
-  - ~oci/oci/bin/bf_client.native xpra --socket ~oci/data/oci-data/oci.socket --rootfs 1 --frama-c master --E-ACSL $(git rev-parse HEAD) E-ACSL
+  - ~oci/oci/bin/bf_client.native run --socket ~oci/data/oci-data/oci.socket --rootfs 1 --frama-c master --E-ACSL $(git rev-parse HEAD) E-ACSL
   tags:
   except:
   - tags
\ No newline at end of file