Hopefully mute last Keccak warnings.