try fixing debian build
Merge pull request #549 from yuyichao/master

hopefully fix debian build......