fixes in embree.def