This does appear to be the problem. When I follow the article instruction to build the module I get the error posted below.
===================================================================================
make -C /lib/modules/3.11.0-13-generic/build M=
make[1]: Entering directory `/usr/src/linux-headers-3.11.0-13-generic’
make[2]: *** No rule to make target /usr/src/linux-headers-3.11.0-13-generic/arch/x86/syscalls/syscall_32.tbl', needed byarch/x86/syscalls/../include/generated/uapi/asm/unistd_32.h’. Stop.
make[1]: *** [archheaders] Error 2
make[1]: Leaving directory `/usr/src/linux-headers-3.11.0-13-generic’
make: *** [all] Error 2