handle missing servers.txt: non-existent file throws IOError

At least on my machine.