porting for the kernel 3.13