diff --git a/libcrux/mitch-and-sam.sh b/libcrux/standalone-kyber.sh
similarity index 100%
rename from libcrux/mitch-and-sam.sh
rename to libcrux/standalone-kyber.sh