Create Keccak512_data.h