Setting up redundant file servers