Rename RunCollatz.in.txt to RunCollatz.in