debug output to stderr