* main.ml: misc
* install_macos.txt: more update for brew, ugly