In the section install-modules: in the Makefile, you generate, via sed, several files and copy them to /tmp. If you are doing multiple builds on the same machine, this creates a build race condition. This can be fixed via mktemp or using an in-source temp directory. thx