Fix for the bug introduced by --intrumentation fix
Merge pull request #540 from dbabokin/embree_bug

Fix for the bug introduced by --intrumentation fix