diff --git a/cgtests.mk b/cgtests.mk
index f60f801..e5027e9 100644
--- a/cgtests.mk
+++ b/cgtests.mk
@@ -12,7 +12,7 @@ checkout:
 	svn co http://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/trunk/tests/cgtests
 
 %: %.occ
-	./tock -vk --backend=$(BACKEND) -o $@ $< +RTS -c
+	./tock -vk --backend=$(BACKEND) -o $@ $<
 
 run-all: $(addprefix run-,$(tests))