Update AESLib.c