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