Sorry, my patch is wrong. I forgot to add "stderr" as the first argument to fprintf. -- Robert Millan