Fix memory leak in last implementation of file.readline()