I wish mono would exit properly