debug to stderr instead of stdout