removed extra get_timer_for_file