Update and rename test8.in.txt to test8.t