formatting
change to https for rustup
fix linux compilation