Update extract10k.pl