Rename xz3672-RunCollatz.in.txt to xz3672-RunCollatz.in