badsyntax/server-tools not found