I just discovered that on my MAC /usr/local/include is a symbolic link to usr/include (since about 9 months), causing problems with homebrew. I wonder whether this link is normal? harmless? Is there a way to disentangle that (make /usr/local/include an independent directory containing those files that belong there (which ones are that?) and keep the rest /usr/include/)?