adjusted makefile to be able to run in the latest archlinux (kernel 3.13.8)