I used the previously available registry installer, changing the relevant executable line. Once I've figured out my current issues (xepdmgr making page turns flash twice vs unusable menus), I'll get it all done properly, including registry installer etc.
But, it may be some time, my 11 week old son is taking up most of my brainspace and time outside of work these days