Updated for latest Rust: std::io: ~[] -> Vec