remove manual profiling with time.clock() calls