Is include/c_compatibility still useful?!?

[Paolo Carlini]

Hi,

today I wanted to remove the obsolete entry include/c_shadow from our 
README file,
and noticed that include/c_compatibility directory was not documented at 
all...

Indeed, by default, we do nothing with it (we don't use the headers 
anywhere during
the build neither we install them) and I really wondered whether we 
really want to
keep this stuff in the sources...

Opinions? Clarifications (I'm not sure to understand what 
c_compatibility was/is for)?

Thanks in advance,
Paolo.