Osx install

Hi, besides the executable bits, there was only a small osx problem, fixed.