let's change it's suffix from .c to .h. This also avoids some otherwise very mysterious (and probably sensible from a historical point of view :-)) name changes done by mk1mf.pl.