Make it work on MacOS X