Rename test3.in.txt to test3.t