RandomTets build fix