Fix bridging header file