Counting the number of lines of a file