Yeah. Just replace it with any current copy of the file. The old account page even used to have a download link for it.
Or just have your friend paste the bits above into the empty file. That should work.