use the right form of c header

Change-Id: I6cc11f41c84e47c1a49f5e553f1d067abd7ce79a