Upgrade whois to version 5.1.3

whois 5.1.2 was deleted from the mirror sites