exports.py: write warnings to stderr, not stdout (which might be muted)