Fix to the Windows launch to make it work with any domain.xml