Rename task_25-4.out to task_19-4.out