Re: widl: generate header when proxy/stub is generated