Bump version of machete

[#73544396]