aversive/config/gen_headers