Fix for linux header install elf.h problem by Arnaud Dovi