Update to current rust: don't import Vec from vec_ng.