Update post about mono home-brew install