diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7e30e3bb8edff19f7210c843860dae5a2c276569..892fcdebe69fe70023b1501d7b2032eade92cdb6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -58,12 +58,6 @@ test:
     - nix --extra-experimental-features "nix-command flakes" build
     - nix --extra-experimental-features "nix-command flakes" flake check -L
 
-test-lib:
-  stage: test
-  script:
-    - nix --extra-experimental-features "nix-command flakes" build
-    - nix --extra-experimental-features "nix-command flakes" develop --command make test-lib
-
 ## Manual generation of the documentation
 
 documentation:
diff --git a/lib/onnx/tests/print.ml b/lib/onnx/tests/print.ml
index a8f37b07730b4423e4eab195c6aaacfdb0b13b7e..90e2e7b1fba6d7777f966388a592cc0f035f5c63 100644
--- a/lib/onnx/tests/print.ml
+++ b/lib/onnx/tests/print.ml
@@ -20,7 +20,7 @@ let () =
 
 let () =
   let pid =
-    Unix.create_process "/usr/bin/python3"
+    Unix.create_process "python3"
       [| "python3"; "../../../tests/bin/inspect_onnx.py" |]
       Unix.stdin Unix.stdout Unix.stdout
   in