Bug fix: installation for Mac OS X