demo/*.c doesn't always get headers right.