os.txt: redefined file servers
os.txt: removed inconsistent aspects of process definition