feature #2371: delete debuging STDERR.puts