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

Fix make error.