Delete server_functions.h