Joao Carreira Fix MacOS build and update INSTALL:wq