the message would end up in the generated latex; put it in stderr