use stderr for error reporting