Rename map4542-RunCollatz.in.txt to map4542-RunCollatz.in