the trace of the spider now goes to stderr