fix server_tools