[Bug 3989] widl make wrong header file