Change input file extension

Change input file extension from .txt to .in