Rename server.r.txt to server.r