Issue 4

fix #4: build failed under Linux