Don't fprintf to stderr - the front-end has no right to assume what std outputs it can or cannot use.