Fix issue#1: build on MacOS X