Fixes #1 : build on MacOS X