[Bug 3989] New: widl make wrong header file