keccak.inc: keccak.py ./keccak.py > keccak.inc