Oliver Welter: > I already tried that but it looks like the header file is not copied to=20 > /usr/include.
Exactly. The file is not copied to /usr/include. Instead, it is copied to $PWD/usr/include. Check your current working dir. You are not the first person who misunderstand "make headers_install". If it was "headers_generate", was it able to prevent you from misunderstanding? J. R. Okajima ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/