Update xorshift.pl