Fix for issue #8 PRINT_TIMINGS is False by default