Cleaning useless definitions in a_v4.h