Corrected path for #include dvec.h