fix c header issues