diff -r ae5d60bb70c9 -r 22fbca1d11ed contrib/perf.py
--- a/contrib/perf.py	Wed Feb 15 11:53:59 2017 -0800
+++ b/contrib/perf.py	Wed Feb 15 13:17:39 2017 -0800
@@ -190,13 +190,13 @@
 
 def _timer(fm, func, title=None):
     results = []
-    begin = time.time()
+    begin = util.timer()
     count = 0
     while True:
         ostart = os.times()
-        cstart = time.time()
+        cstart = util.timer()
         r = func()
-        cstop = time.time()
+        cstop = util.timer()
         ostop = os.times()
         count += 1
         a, b = ostart, ostop