print debugging info to stderr