This reverts commit 91fae3ace0291b144b27fd8bbda509042f5400f1, reversing changes made to 5df77a0eda6e902a1aa9c6249cdeaec197b1e0cd.
See discussion in #625
After the change, if we enable any module, make install fails because of the
duplicated files in the command line arguments.