Added thousands separator for lines and lines_sort (zsh printf will not do it - has to use /usr/bin/printf - bug?)