diff --git a/nix/default.nix b/nix/default.nix
index 3f5ec865f6540a5740d86fb7c43910c2320c98bf..3f8c57a38d59f145f6f3aabc57ed02ab34b5c584 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -253,7 +253,7 @@ pkgs.lib.makeExtensible
           HOME=$(pwd)/home
           why3 config detect
           make src/plugins/aorai/tests/ptests_config
-          make PTESTS_OPTS="-config prove -error-code" Aorai_TESTS
+          make PTESTS_OPTS="-error-code" aorai-test-prove
         '';
 
         installPhase = ''