Fix files stored in the repo with Windows line endings. These shouldn't
be stored in the repo this way; rather, git should be allowed to take
care of line endings.