Changed to using new seq_file API (faster reading)