import of vde3.h correctly