remove lib/server.cc~