Update for crates.io upload