fix bug 1040576 - use time.time() for benchmarking