Fix Minty integration.