try putting time inside perf

perf

@@ -3,6 +3,6 @@ set -e
 # Wrapper script to use perf as TIMECMD for the build.
 
 VFILE="${!#}"
-LC_ALL=C /usr/bin/time -o "$VFILE.time" -f "real: %e, user: %U, sys: %S, mem: %M kB" -- perf stat -o "$VFILE.counters" -x ';' -e instructions,cycles -- "$@"
+LC_ALL=C perf stat -o "$VFILE.counters" -x ';' -e instructions,cycles -- /usr/bin/time -o "$VFILE.time" -f "real: %e, user: %U, sys: %S, mem: %M kB" -- "$@"
 (echo "## $VFILE" && (cat "$VFILE.counters" | egrep -v '^(# .*)?$') && cat "$VFILE.time" && echo) > "$VFILE.perf"
 rm "$VFILE.counters" "$VFILE.time"