Fix make error.
Merge pull request #10 from jkho/4.1-linux-build

Fix make error.