Rust patches for rust-ide