Update speck64_96.c