Update getrandomtrees.pl