Linux port
Merge pull request #1 from chunmingchen/master

Linux port