bugfix pick_random_line_with_count.py