fixes add set_time_limit