warn if servers file was deleted unexpectedly