This hasn't been maintained since 2012. Also, renamed glibc's kernelHeaders argument to linuxHeaders.