Implement flexible target specification

See commit message.
This option is no longer needed since rustc applies it by default.