current-error-port should go to stderr.