fix generation of aocalls.h