Debug output goes to stderr