update of set_time_limit