For packagers' sake, the old build command `rustc shellharden.rs` shall continue to work until next release.