Delete echo_server.h