Rename test_9_out.txt to test_09_out.txt