correct VMTrace define

otherwise VMTrace does not work