Use the much faster reverse_readfile instead of reverse_readline.