Use new machete repo

[#71850572]