explain C aesni asm naming fix in code too