some libraries have been added to the server.c file.