export_report: use warn() to issue WARNING, so they go to stderr