Merge "Use hal2vts to generate .vts files."