add linux/seq_file.h for kernel >= 3.10.X