Glad that we could help, welcome to the forums.
Computers are fickle things, if something happens (power, connection drop out or an error during this update, etc.) during the update of the servers.def file it could become corrupt, replacement is the easiest thing.