diff --git a/nix/default.nix b/nix/default.nix
index 6c86751e7bead1dc4fb86db8ac648680528ecd5c..50cdf2558d052fbb1e12d3db53d39ba4df6591a3 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -280,7 +280,7 @@ pkgs.lib.makeExtensible
                make clean_share_link
                make create_share_link
                export CONFIGS="equality bitwise symblocs gauges octagon"
-               src/plugins/value/vtests -j 4 -error-code
+               src/plugins/value/vtests.sh -j 4 -error-code
         '';
         installPhase = ''
                true
diff --git a/src/plugins/value/vtests b/src/plugins/value/vtests.sh
similarity index 100%
rename from src/plugins/value/vtests
rename to src/plugins/value/vtests.sh