warn -> $stderr.puts, because the former's not reliable anyway.