Minor changes to the .c file, in order to make it compatible with the ke...

...rnel used in Ubuntu 14.04