rc4-x86_64.pl: fix due credit.