Rename all_1.2.txt to all_1.3.txt