I'd put the stderr file in my link tree, not in the source tree,
so my original push had the wrong file, even though my tree
validated.  Sorry!