Rename xz3672-RunCollatz.out.txt to xz3672-RunCollatz.out