Keccak memdbg.h fix