[crux-commits] ports/opt (3.7): rust: cherry picked patch to allow building with system rust 1.71.0