Fighting for deterministic LuxRender

• For some reason, LuxRender seems to do a direct clock_gettime syscall, instead of using vDSO