fixed some wrong file headers
Merge branch 'v2.2' of https://github.com/embree/embree into v2.2