Update to new-style rustc CLI args

Closes #1073