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