Revert "RandomTets build fix"

This reverts commit fcec6e93962da8fd7648cad615553ebe913b04a2.