diff --git a/Makefile b/Makefile
index 1f212067..cd871358 100644
--- a/Makefile
+++ b/Makefile
@@ -146,10 +146,10 @@ $(BUILD_DIR)/cheshire_top.pickle.sv: Bender.yml $(BUILD_DIR)
 	bender sources -f | morty -f /dev/stdin -q -o $@ --top cheshire_soc
 
 $(BUILD_DIR)/cva6.pickle.sv: Bender.yml $(BUILD_DIR)
-	bender sources -f -d $(shell $(BENDER) path ariane) | morty -f /dev/stdin -q -o $@ --top cva6
+	bender sources -f -d $(shell $(BENDER) path ariane) -t cv64a6_imafdc_sv39 | morty -f /dev/stdin -o $@ 
 
 pickle: $(BUILD_DIR)/cva6.pickle.sv
 
 slang-check: pickle
-	slang $(BUILD_DIR)/cva6.pickle.sv --error-limit=4419 || true
+	slang $(BUILD_DIR)/cva6.pickle.sv -Wrange-width-oob
 # remove true if pipeline is fixed but now have true to pass github actions
\ No newline at end of file