Add support for outputting C headers