Update to Linux 3.13, update Makefile
Actually update Makefile