Updated for new seq_file API