Use C linkage in frontend.h and input_common.h