Now really fix OmniTorch.