Now correctly export VecN ctors.