Fix make install minor bug.
Merge pull request #2325 from eliangidoni/fix-make

Fix make install minor bug.