diff --git a/koka_bench/kraken/csc_out.wasm b/koka_bench/kraken/csc_out.wasm
deleted file mode 100644
index c4b06fb..0000000
Binary files a/koka_bench/kraken/csc_out.wasm and /dev/null differ