cargo and rust: Use https