diff --git a/benchmark/benchmark.sh b/benchmark/benchmark.sh
index f2c4f21..ec7bc0b 100644
--- a/benchmark/benchmark.sh
+++ b/benchmark/benchmark.sh
@@ -19,6 +19,6 @@ do
 done
 
 export DEBIAN_FRONTEND=noninteractive
-TIMEFORMAT=%0R /usr/bin/time ${@:1} > /dev/null
+/usr/bin/time -f "%e" ${@:1} > /dev/null
 
 cd ../ && rm -rf temp/