ENSURE: --no-timings option is used in selftests.
FIX #80: source file names not properly printed with python 3.3.0 (provided by: jenisys)