192c192
< typedef M5_auxv_t<IntType> auxv_t;
---
> typedef AuxVector<IntType> auxv_t;