Change vec::to_ptr syntax to compile with rust HEAD