Update and rename test9.out.txt to test9.ref