How to use mono to run exe on mac