Fix instructions for MacOS X