Minor changes to the .c file, in order to make it compatible with the kernel used in Ubuntu 14.04