old dumm-server-file removed