Fix auxVex synchronization in trace;