Rename xz3672-TestCollatz.out.txt to xz3672-TestCollatz.out