Binaries for taking part in the rc5des challenge