diff --git a/nix/plugins-tests.nix b/nix/plugins-tests.nix
index 0e9af90d29c71f97813bbc0e1fbfbe5ea780f8b9..a2e3d52d390d4aa3e35ff54a9298c4e8d4975c16 100644
--- a/nix/plugins-tests.nix
+++ b/nix/plugins-tests.nix
@@ -3,6 +3,7 @@
 , frama-c
 , alt-ergo
 , perl
+, pkgs
 , time
 , which
 }:
@@ -22,6 +23,7 @@ stdenv.mkDerivation rec {
     alt-ergo # only for WP qualif
     frama-c
     perl
+    pkgs.getopt
     time
     which
   ];