diff --git a/microbenchmarks/prob/Makefile b/microbenchmarks/prob/Makefile
index fbf0e66ff1461afc8a0290129fd6449ee0d5cd9c..b95e16e097f63c83d675eb9264967b6508c944da 100644
--- a/microbenchmarks/prob/Makefile
+++ b/microbenchmarks/prob/Makefile
@@ -5,10 +5,11 @@
 all: And Divide Equal Equivalent Greater GreaterEqual Implies IncreasingSet Less LessEqual Minus Modulo Multiply Negative Or Plus RangeBig RangeCardBig2 RangeCardBig RangeCardSmall2 RangeCardSmall RangeComplementBig2 RangeComplementBig RangeComplementSmall2 RangeComplementSmall RangeElementOfBig2 RangeElementOfBig RangeElementOfSmall2 RangeElementOfSmall RangeIntersectionBig2 RangeIntersectionBig RangeIntersectionSmall2 RangeIntersectionSmall RangeSmall RangeUnionBig2 RangeUnionBig RangeUnionSmall2 RangeUnionSmall SetCardBig2 SetCardBig SetCardSmall2 SetCardSmall SetComplementBig2 SetComplementBig SetComplementSmall2 SetComplementSmall SetElementOfBig2 SetElementOfBig SetElementOfSmall2 SetElementOfSmall SetIntersectionBig2 SetIntersectionBig SetIntersectionSmall2 SetIntersectionSmall SetOperation SetUnionBig2 SetUnionBig SetUnionSmall2 SetUnionSmall Sieve SmallNumbers Unequal LiftExec TrafficLightExec #Cruise_finite_k BigNumbers
 
 PROBCLI=./probcli.sh
+#PROBCLI=probcli
 OUTPUT ?= runtimes.txt
 
 % :
-	/usr/bin/time -f "%C %E" -ao $(OUTPUT) $(PROBCLI) $@.mch -init -execute 1
+	gtime -f "%C %E" -ao $(OUTPUT) $(PROBCLI) $@.mch -init -execute 1
 
 clean:
 	rm *.prob