fix compilation on kernel 3.10