See #819. Renaming gitstfile1.txt.