I downloaded the new wallet, created a xtracoin.conf with the nodes mentioned in the opening post and restarted.
Coins are there, already a few weeks but no stake.