Elsewhere in this file we use `$stderr.puts` rather than `warn`. I don't have a strong preference between the two, but we should be consistent.