Fix a buffer overflow in the aot compiler.