VextExtension.aux added