Update proof_whisperer.pl