Merge "update auxvec.h from upstream."
tree: 4066f5b767e74e04610433fe55c0d08f8c686944
  1. original/
  2. CleanSpec.mk