Fixed benchmarks.py run on python 3.2