See https://gitlab.onelab.info/getdp/getdp/commit/efe3527a191f1c541966aec6c5f601facc565326
--- Kernel/Operation_Vector.cpp.orig	2019-04-09 07:26:10.000000000 -0700
+++ Kernel/Operation_Vector.cpp	2019-04-20 10:53:36.000000000 -0700
@@ -12,7 +12,6 @@
 #include "Message.h"
 #include "Cal_Quantity.h"
 
-#include "petscvec.h"
 
 /* TODO: