Delete server_flags.h