XDev: fix problem with second Ofront launch (for 64 bit app), #2.