I hope you take my advice under advisement about ensuring your server isn't insecure as if the intruder could overwrite one file they certainly could have added several others all over your webspace.
Any further checking would be beyond the scope of my technical ability. Any idea of the time and cost involved to have a person competent in this area look it over?
