Fixup the mono setup domain code