fix crash on Mac OS X
update INSTALL with infos for Mac OS X