5985331f33
Since we no longer use shared source we can modify the source directory as we build. This drops another patch we need to build and simplifies the addition of Rust 1.12.1 in #97.