Use std::vector instead of Nix::Vector on Nix::Platform API.

Reviewed by: Lauro Neto