armani: add missing header