diff --git a/benchmark_programs/libsodium/aead_aegis256-strip.bc b/benchmark_programs/libsodium/aead_aegis256-strip.bc
deleted file mode 100644
index 0e1cea60..00000000
Binary files a/benchmark_programs/libsodium/aead_aegis256-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/aead_aegis256_aesni-strip.bc b/benchmark_programs/libsodium/aead_aegis256_aesni-strip.bc
deleted file mode 100644
index 76832105..00000000
Binary files a/benchmark_programs/libsodium/aead_aegis256_aesni-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/aead_aegis256_armcrypto-strip.bc b/benchmark_programs/libsodium/aead_aegis256_armcrypto-strip.bc
deleted file mode 100644
index a7b9f0de..00000000
Binary files a/benchmark_programs/libsodium/aead_aegis256_armcrypto-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/aead_aes256gcm_aesni-strip.bc b/benchmark_programs/libsodium/aead_aes256gcm_aesni-strip.bc
deleted file mode 100644
index a4f21a26..00000000
Binary files a/benchmark_programs/libsodium/aead_aes256gcm_aesni-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/aead_chacha20poly1305-strip.bc b/benchmark_programs/libsodium/aead_chacha20poly1305-strip.bc
deleted file mode 100644
index af9edadf..00000000
Binary files a/benchmark_programs/libsodium/aead_chacha20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/aead_xchacha20poly1305-strip.bc b/benchmark_programs/libsodium/aead_xchacha20poly1305-strip.bc
deleted file mode 100644
index 0f86c237..00000000
Binary files a/benchmark_programs/libsodium/aead_xchacha20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/argon2-core-strip.bc b/benchmark_programs/libsodium/argon2-core-strip.bc
deleted file mode 100644
index 9fab439b..00000000
Binary files a/benchmark_programs/libsodium/argon2-core-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/argon2-encoding-strip.bc b/benchmark_programs/libsodium/argon2-encoding-strip.bc
deleted file mode 100644
index fb03db80..00000000
Binary files a/benchmark_programs/libsodium/argon2-encoding-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/argon2-fill-block-avx2-strip.bc b/benchmark_programs/libsodium/argon2-fill-block-avx2-strip.bc
deleted file mode 100644
index eeeb7aa0..00000000
Binary files a/benchmark_programs/libsodium/argon2-fill-block-avx2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/argon2-fill-block-avx512f-strip.bc b/benchmark_programs/libsodium/argon2-fill-block-avx512f-strip.bc
deleted file mode 100644
index 52aabb12..00000000
Binary files a/benchmark_programs/libsodium/argon2-fill-block-avx512f-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/argon2-fill-block-ref-strip.bc b/benchmark_programs/libsodium/argon2-fill-block-ref-strip.bc
deleted file mode 100644
index 327e8fcd..00000000
Binary files a/benchmark_programs/libsodium/argon2-fill-block-ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/argon2-fill-block-ssse3-strip.bc b/benchmark_programs/libsodium/argon2-fill-block-ssse3-strip.bc
deleted file mode 100644
index 798405f3..00000000
Binary files a/benchmark_programs/libsodium/argon2-fill-block-ssse3-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/argon2-strip.bc b/benchmark_programs/libsodium/argon2-strip.bc
deleted file mode 100644
index e714c674..00000000
Binary files a/benchmark_programs/libsodium/argon2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/auth_hmacsha256-strip.bc b/benchmark_programs/libsodium/auth_hmacsha256-strip.bc
deleted file mode 100644
index 08577584..00000000
Binary files a/benchmark_programs/libsodium/auth_hmacsha256-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/auth_hmacsha512-strip.bc b/benchmark_programs/libsodium/auth_hmacsha512-strip.bc
deleted file mode 100644
index d909d918..00000000
Binary files a/benchmark_programs/libsodium/auth_hmacsha512-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/auth_hmacsha512256-strip.bc b/benchmark_programs/libsodium/auth_hmacsha512256-strip.bc
deleted file mode 100644
index 6124835f..00000000
Binary files a/benchmark_programs/libsodium/auth_hmacsha512256-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/blake2b-compress-avx2-strip.bc b/benchmark_programs/libsodium/blake2b-compress-avx2-strip.bc
deleted file mode 100644
index dce0edd2..00000000
Binary files a/benchmark_programs/libsodium/blake2b-compress-avx2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/blake2b-compress-ref-strip.bc b/benchmark_programs/libsodium/blake2b-compress-ref-strip.bc
deleted file mode 100644
index 0440f10c..00000000
Binary files a/benchmark_programs/libsodium/blake2b-compress-ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/blake2b-compress-sse41-strip.bc b/benchmark_programs/libsodium/blake2b-compress-sse41-strip.bc
deleted file mode 100644
index de089dd8..00000000
Binary files a/benchmark_programs/libsodium/blake2b-compress-sse41-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/blake2b-compress-ssse3-strip.bc b/benchmark_programs/libsodium/blake2b-compress-ssse3-strip.bc
deleted file mode 100644
index 3201921a..00000000
Binary files a/benchmark_programs/libsodium/blake2b-compress-ssse3-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/blake2b-long-strip.bc b/benchmark_programs/libsodium/blake2b-long-strip.bc
deleted file mode 100644
index 47cfa952..00000000
Binary files a/benchmark_programs/libsodium/blake2b-long-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/blake2b-ref-strip.bc b/benchmark_programs/libsodium/blake2b-ref-strip.bc
deleted file mode 100644
index 0c802fce..00000000
Binary files a/benchmark_programs/libsodium/blake2b-ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/box_curve25519xchacha20poly1305-strip.bc b/benchmark_programs/libsodium/box_curve25519xchacha20poly1305-strip.bc
deleted file mode 100644
index e873571c..00000000
Binary files a/benchmark_programs/libsodium/box_curve25519xchacha20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/box_curve25519xsalsa20poly1305-strip.bc b/benchmark_programs/libsodium/box_curve25519xsalsa20poly1305-strip.bc
deleted file mode 100644
index 1ee7faf7..00000000
Binary files a/benchmark_programs/libsodium/box_curve25519xsalsa20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/box_seal_curve25519xchacha20poly1305-strip.bc b/benchmark_programs/libsodium/box_seal_curve25519xchacha20poly1305-strip.bc
deleted file mode 100644
index 7b76ecef..00000000
Binary files a/benchmark_programs/libsodium/box_seal_curve25519xchacha20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/chacha20_dolbeau-avx2-strip.bc b/benchmark_programs/libsodium/chacha20_dolbeau-avx2-strip.bc
deleted file mode 100644
index a841d661..00000000
Binary files a/benchmark_programs/libsodium/chacha20_dolbeau-avx2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/chacha20_dolbeau-ssse3-strip.bc b/benchmark_programs/libsodium/chacha20_dolbeau-ssse3-strip.bc
deleted file mode 100644
index 359edee7..00000000
Binary files a/benchmark_programs/libsodium/chacha20_dolbeau-ssse3-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/chacha20_ref-strip.bc b/benchmark_programs/libsodium/chacha20_ref-strip.bc
deleted file mode 100644
index 61ca2fdd..00000000
Binary files a/benchmark_programs/libsodium/chacha20_ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/codecs-strip.bc b/benchmark_programs/libsodium/codecs-strip.bc
deleted file mode 100644
index 5de9f8d0..00000000
Binary files a/benchmark_programs/libsodium/codecs-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/core-strip.bc b/benchmark_programs/libsodium/core-strip.bc
deleted file mode 100644
index b3c1757f..00000000
Binary files a/benchmark_programs/libsodium/core-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/core_ed25519-strip.bc b/benchmark_programs/libsodium/core_ed25519-strip.bc
deleted file mode 100644
index a8b5d52e..00000000
Binary files a/benchmark_programs/libsodium/core_ed25519-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/core_hchacha20-strip.bc b/benchmark_programs/libsodium/core_hchacha20-strip.bc
deleted file mode 100644
index 93795ff2..00000000
Binary files a/benchmark_programs/libsodium/core_hchacha20-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/core_hsalsa20-strip.bc b/benchmark_programs/libsodium/core_hsalsa20-strip.bc
deleted file mode 100644
index 208d7409..00000000
Binary files a/benchmark_programs/libsodium/core_hsalsa20-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/core_hsalsa20_ref2-strip.bc b/benchmark_programs/libsodium/core_hsalsa20_ref2-strip.bc
deleted file mode 100644
index a1387216..00000000
Binary files a/benchmark_programs/libsodium/core_hsalsa20_ref2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/core_ristretto255-strip.bc b/benchmark_programs/libsodium/core_ristretto255-strip.bc
deleted file mode 100644
index cb225613..00000000
Binary files a/benchmark_programs/libsodium/core_ristretto255-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/core_salsa_ref-strip.bc b/benchmark_programs/libsodium/core_salsa_ref-strip.bc
deleted file mode 100644
index d4286773..00000000
Binary files a/benchmark_programs/libsodium/core_salsa_ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_auth-strip.bc b/benchmark_programs/libsodium/crypto_auth-strip.bc
deleted file mode 100644
index 68b94a38..00000000
Binary files a/benchmark_programs/libsodium/crypto_auth-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_box-strip.bc b/benchmark_programs/libsodium/crypto_box-strip.bc
deleted file mode 100644
index 1761edf8..00000000
Binary files a/benchmark_programs/libsodium/crypto_box-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_box_easy-strip.bc b/benchmark_programs/libsodium/crypto_box_easy-strip.bc
deleted file mode 100644
index 91f3a53c..00000000
Binary files a/benchmark_programs/libsodium/crypto_box_easy-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_box_seal-strip.bc b/benchmark_programs/libsodium/crypto_box_seal-strip.bc
deleted file mode 100644
index aff34813..00000000
Binary files a/benchmark_programs/libsodium/crypto_box_seal-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_generichash-strip.bc b/benchmark_programs/libsodium/crypto_generichash-strip.bc
deleted file mode 100644
index 2f028b7e..00000000
Binary files a/benchmark_programs/libsodium/crypto_generichash-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_hash-strip.bc b/benchmark_programs/libsodium/crypto_hash-strip.bc
deleted file mode 100644
index 88232a36..00000000
Binary files a/benchmark_programs/libsodium/crypto_hash-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_kdf-strip.bc b/benchmark_programs/libsodium/crypto_kdf-strip.bc
deleted file mode 100644
index 6e87728f..00000000
Binary files a/benchmark_programs/libsodium/crypto_kdf-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_kx-strip.bc b/benchmark_programs/libsodium/crypto_kx-strip.bc
deleted file mode 100644
index d5a4ab79..00000000
Binary files a/benchmark_programs/libsodium/crypto_kx-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_onetimeauth-strip.bc b/benchmark_programs/libsodium/crypto_onetimeauth-strip.bc
deleted file mode 100644
index ae73fe97..00000000
Binary files a/benchmark_programs/libsodium/crypto_onetimeauth-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_pwhash-strip.bc b/benchmark_programs/libsodium/crypto_pwhash-strip.bc
deleted file mode 100644
index 8a1a6409..00000000
Binary files a/benchmark_programs/libsodium/crypto_pwhash-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_scalarmult-strip.bc b/benchmark_programs/libsodium/crypto_scalarmult-strip.bc
deleted file mode 100644
index a84e7301..00000000
Binary files a/benchmark_programs/libsodium/crypto_scalarmult-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_scrypt-common-strip.bc b/benchmark_programs/libsodium/crypto_scrypt-common-strip.bc
deleted file mode 100644
index 79b1c4f6..00000000
Binary files a/benchmark_programs/libsodium/crypto_scrypt-common-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_secretbox-strip.bc b/benchmark_programs/libsodium/crypto_secretbox-strip.bc
deleted file mode 100644
index ee5a9dd5..00000000
Binary files a/benchmark_programs/libsodium/crypto_secretbox-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_secretbox_easy-strip.bc b/benchmark_programs/libsodium/crypto_secretbox_easy-strip.bc
deleted file mode 100644
index a63a372d..00000000
Binary files a/benchmark_programs/libsodium/crypto_secretbox_easy-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_shorthash-strip.bc b/benchmark_programs/libsodium/crypto_shorthash-strip.bc
deleted file mode 100644
index eeed81c0..00000000
Binary files a/benchmark_programs/libsodium/crypto_shorthash-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_sign-strip.bc b/benchmark_programs/libsodium/crypto_sign-strip.bc
deleted file mode 100644
index f205aeaf..00000000
Binary files a/benchmark_programs/libsodium/crypto_sign-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/crypto_stream-strip.bc b/benchmark_programs/libsodium/crypto_stream-strip.bc
deleted file mode 100644
index 7bfb4d03..00000000
Binary files a/benchmark_programs/libsodium/crypto_stream-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/curve25519_sandy2x-strip.bc b/benchmark_programs/libsodium/curve25519_sandy2x-strip.bc
deleted file mode 100644
index 8a8944f8..00000000
Binary files a/benchmark_programs/libsodium/curve25519_sandy2x-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/ed25519_ref10-strip.bc b/benchmark_programs/libsodium/ed25519_ref10-strip.bc
deleted file mode 100644
index c08841fe..00000000
Binary files a/benchmark_programs/libsodium/ed25519_ref10-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/fe51_invert-strip.bc b/benchmark_programs/libsodium/fe51_invert-strip.bc
deleted file mode 100644
index 66f7d1c4..00000000
Binary files a/benchmark_programs/libsodium/fe51_invert-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/fe_frombytes_sandy2x-strip.bc b/benchmark_programs/libsodium/fe_frombytes_sandy2x-strip.bc
deleted file mode 100644
index ca6259ed..00000000
Binary files a/benchmark_programs/libsodium/fe_frombytes_sandy2x-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/generichash_blake2-strip.bc b/benchmark_programs/libsodium/generichash_blake2-strip.bc
deleted file mode 100644
index da8ff09d..00000000
Binary files a/benchmark_programs/libsodium/generichash_blake2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/generichash_blake2b-strip.bc b/benchmark_programs/libsodium/generichash_blake2b-strip.bc
deleted file mode 100644
index 1a10b3d1..00000000
Binary files a/benchmark_programs/libsodium/generichash_blake2b-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/hash_sha256-strip.bc b/benchmark_programs/libsodium/hash_sha256-strip.bc
deleted file mode 100644
index 26841454..00000000
Binary files a/benchmark_programs/libsodium/hash_sha256-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/hash_sha256_cp-strip.bc b/benchmark_programs/libsodium/hash_sha256_cp-strip.bc
deleted file mode 100644
index 98ff8df3..00000000
Binary files a/benchmark_programs/libsodium/hash_sha256_cp-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/hash_sha512-strip.bc b/benchmark_programs/libsodium/hash_sha512-strip.bc
deleted file mode 100644
index b9a48d98..00000000
Binary files a/benchmark_programs/libsodium/hash_sha512-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/hash_sha512_cp-strip.bc b/benchmark_programs/libsodium/hash_sha512_cp-strip.bc
deleted file mode 100644
index 47b5ce04..00000000
Binary files a/benchmark_programs/libsodium/hash_sha512_cp-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/kdf_blake2b-strip.bc b/benchmark_programs/libsodium/kdf_blake2b-strip.bc
deleted file mode 100644
index 2a2b389f..00000000
Binary files a/benchmark_programs/libsodium/kdf_blake2b-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/kdf_hkdf_sha256-strip.bc b/benchmark_programs/libsodium/kdf_hkdf_sha256-strip.bc
deleted file mode 100644
index 365cf129..00000000
Binary files a/benchmark_programs/libsodium/kdf_hkdf_sha256-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/kdf_hkdf_sha512-strip.bc b/benchmark_programs/libsodium/kdf_hkdf_sha512-strip.bc
deleted file mode 100644
index 5092ebf0..00000000
Binary files a/benchmark_programs/libsodium/kdf_hkdf_sha512-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/keypair-strip.bc b/benchmark_programs/libsodium/keypair-strip.bc
deleted file mode 100644
index 38a3baae..00000000
Binary files a/benchmark_programs/libsodium/keypair-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/onetimeauth_poly1305-strip.bc b/benchmark_programs/libsodium/onetimeauth_poly1305-strip.bc
deleted file mode 100644
index 2abbc93a..00000000
Binary files a/benchmark_programs/libsodium/onetimeauth_poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/open-strip.bc b/benchmark_programs/libsodium/open-strip.bc
deleted file mode 100644
index 2c7a5176..00000000
Binary files a/benchmark_programs/libsodium/open-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/pbkdf2-sha256-strip.bc b/benchmark_programs/libsodium/pbkdf2-sha256-strip.bc
deleted file mode 100644
index 4170d599..00000000
Binary files a/benchmark_programs/libsodium/pbkdf2-sha256-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/poly1305_donna-strip.bc b/benchmark_programs/libsodium/poly1305_donna-strip.bc
deleted file mode 100644
index 257613a0..00000000
Binary files a/benchmark_programs/libsodium/poly1305_donna-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/poly1305_sse2-strip.bc b/benchmark_programs/libsodium/poly1305_sse2-strip.bc
deleted file mode 100644
index 80f29ef4..00000000
Binary files a/benchmark_programs/libsodium/poly1305_sse2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/pwhash_argon2i-strip.bc b/benchmark_programs/libsodium/pwhash_argon2i-strip.bc
deleted file mode 100644
index ec9b99b3..00000000
Binary files a/benchmark_programs/libsodium/pwhash_argon2i-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/pwhash_argon2id-strip.bc b/benchmark_programs/libsodium/pwhash_argon2id-strip.bc
deleted file mode 100644
index d27ee3b1..00000000
Binary files a/benchmark_programs/libsodium/pwhash_argon2id-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256-strip.bc b/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256-strip.bc
deleted file mode 100644
index 43bde81c..00000000
Binary files a/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256_nosse-strip.bc b/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256_nosse-strip.bc
deleted file mode 100644
index b5235687..00000000
Binary files a/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256_nosse-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256_sse-strip.bc b/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256_sse-strip.bc
deleted file mode 100644
index 86726d84..00000000
Binary files a/benchmark_programs/libsodium/pwhash_scryptsalsa208sha256_sse-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/randombytes-strip.bc b/benchmark_programs/libsodium/randombytes-strip.bc
deleted file mode 100644
index a0bb9e97..00000000
Binary files a/benchmark_programs/libsodium/randombytes-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/randombytes_internal_random-strip.bc b/benchmark_programs/libsodium/randombytes_internal_random-strip.bc
deleted file mode 100644
index 94104cc1..00000000
Binary files a/benchmark_programs/libsodium/randombytes_internal_random-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/randombytes_sysrandom-strip.bc b/benchmark_programs/libsodium/randombytes_sysrandom-strip.bc
deleted file mode 100644
index 720f16db..00000000
Binary files a/benchmark_programs/libsodium/randombytes_sysrandom-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/runtime-strip.bc b/benchmark_programs/libsodium/runtime-strip.bc
deleted file mode 100644
index 504f67c9..00000000
Binary files a/benchmark_programs/libsodium/runtime-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/salsa20_xmm6-strip.bc b/benchmark_programs/libsodium/salsa20_xmm6-strip.bc
deleted file mode 100644
index 5a19e6db..00000000
Binary files a/benchmark_programs/libsodium/salsa20_xmm6-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/salsa20_xmm6int-avx2-strip.bc b/benchmark_programs/libsodium/salsa20_xmm6int-avx2-strip.bc
deleted file mode 100644
index 45d828ba..00000000
Binary files a/benchmark_programs/libsodium/salsa20_xmm6int-avx2-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/scalarmult_curve25519-strip.bc b/benchmark_programs/libsodium/scalarmult_curve25519-strip.bc
deleted file mode 100644
index 8b1572fb..00000000
Binary files a/benchmark_programs/libsodium/scalarmult_curve25519-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/scalarmult_ed25519_ref10-strip.bc b/benchmark_programs/libsodium/scalarmult_ed25519_ref10-strip.bc
deleted file mode 100644
index 5f6fa886..00000000
Binary files a/benchmark_programs/libsodium/scalarmult_ed25519_ref10-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/scalarmult_ristretto255_ref10-strip.bc b/benchmark_programs/libsodium/scalarmult_ristretto255_ref10-strip.bc
deleted file mode 100644
index 9649df8f..00000000
Binary files a/benchmark_programs/libsodium/scalarmult_ristretto255_ref10-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/scrypt_platform-strip.bc b/benchmark_programs/libsodium/scrypt_platform-strip.bc
deleted file mode 100644
index 339f9fc3..00000000
Binary files a/benchmark_programs/libsodium/scrypt_platform-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/secretbox_xchacha20poly1305-strip.bc b/benchmark_programs/libsodium/secretbox_xchacha20poly1305-strip.bc
deleted file mode 100644
index 57ab7cfa..00000000
Binary files a/benchmark_programs/libsodium/secretbox_xchacha20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/secretbox_xsalsa20poly1305-strip.bc b/benchmark_programs/libsodium/secretbox_xsalsa20poly1305-strip.bc
deleted file mode 100644
index 7a9b9871..00000000
Binary files a/benchmark_programs/libsodium/secretbox_xsalsa20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/secretstream_xchacha20poly1305-strip.bc b/benchmark_programs/libsodium/secretstream_xchacha20poly1305-strip.bc
deleted file mode 100644
index 45c27a97..00000000
Binary files a/benchmark_programs/libsodium/secretstream_xchacha20poly1305-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/shorthash_siphash24-strip.bc b/benchmark_programs/libsodium/shorthash_siphash24-strip.bc
deleted file mode 100644
index 484ae146..00000000
Binary files a/benchmark_programs/libsodium/shorthash_siphash24-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/shorthash_siphash24_ref-strip.bc b/benchmark_programs/libsodium/shorthash_siphash24_ref-strip.bc
deleted file mode 100644
index 4ebd673d..00000000
Binary files a/benchmark_programs/libsodium/shorthash_siphash24_ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/shorthash_siphashx24-strip.bc b/benchmark_programs/libsodium/shorthash_siphashx24-strip.bc
deleted file mode 100644
index 4d8e8fa7..00000000
Binary files a/benchmark_programs/libsodium/shorthash_siphashx24-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/shorthash_siphashx24_ref-strip.bc b/benchmark_programs/libsodium/shorthash_siphashx24_ref-strip.bc
deleted file mode 100644
index 10f21c81..00000000
Binary files a/benchmark_programs/libsodium/shorthash_siphashx24_ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/sign-strip.bc b/benchmark_programs/libsodium/sign-strip.bc
deleted file mode 100644
index 0aa19ee8..00000000
Binary files a/benchmark_programs/libsodium/sign-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/sign_ed25519-strip.bc b/benchmark_programs/libsodium/sign_ed25519-strip.bc
deleted file mode 100644
index c8dd2c18..00000000
Binary files a/benchmark_programs/libsodium/sign_ed25519-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_chacha20-strip.bc b/benchmark_programs/libsodium/stream_chacha20-strip.bc
deleted file mode 100644
index 6a998b63..00000000
Binary files a/benchmark_programs/libsodium/stream_chacha20-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_salsa20-strip.bc b/benchmark_programs/libsodium/stream_salsa20-strip.bc
deleted file mode 100644
index 90b05c7b..00000000
Binary files a/benchmark_programs/libsodium/stream_salsa20-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_salsa2012-strip.bc b/benchmark_programs/libsodium/stream_salsa2012-strip.bc
deleted file mode 100644
index 72b4094c..00000000
Binary files a/benchmark_programs/libsodium/stream_salsa2012-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_salsa2012_ref-strip.bc b/benchmark_programs/libsodium/stream_salsa2012_ref-strip.bc
deleted file mode 100644
index b3d75d2a..00000000
Binary files a/benchmark_programs/libsodium/stream_salsa2012_ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_salsa208-strip.bc b/benchmark_programs/libsodium/stream_salsa208-strip.bc
deleted file mode 100644
index 07de0359..00000000
Binary files a/benchmark_programs/libsodium/stream_salsa208-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_salsa208_ref-strip.bc b/benchmark_programs/libsodium/stream_salsa208_ref-strip.bc
deleted file mode 100644
index ad14306a..00000000
Binary files a/benchmark_programs/libsodium/stream_salsa208_ref-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_xchacha20-strip.bc b/benchmark_programs/libsodium/stream_xchacha20-strip.bc
deleted file mode 100644
index fc905bf7..00000000
Binary files a/benchmark_programs/libsodium/stream_xchacha20-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/stream_xsalsa20-strip.bc b/benchmark_programs/libsodium/stream_xsalsa20-strip.bc
deleted file mode 100644
index 0aaba766..00000000
Binary files a/benchmark_programs/libsodium/stream_xsalsa20-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/utils-strip.bc b/benchmark_programs/libsodium/utils-strip.bc
deleted file mode 100644
index 230aa8ac..00000000
Binary files a/benchmark_programs/libsodium/utils-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/verify-strip.bc b/benchmark_programs/libsodium/verify-strip.bc
deleted file mode 100644
index 9cab4832..00000000
Binary files a/benchmark_programs/libsodium/verify-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/version-strip.bc b/benchmark_programs/libsodium/version-strip.bc
deleted file mode 100644
index b4728e7c..00000000
Binary files a/benchmark_programs/libsodium/version-strip.bc and /dev/null differ
diff --git a/benchmark_programs/libsodium/x25519_ref10-strip.bc b/benchmark_programs/libsodium/x25519_ref10-strip.bc
deleted file mode 100644
index 6ff223e5..00000000
Binary files a/benchmark_programs/libsodium/x25519_ref10-strip.bc and /dev/null differ