DVec now is an alias for std::vector
Build fixes for non-MSVC builds