After messing around in the setup,
he setup a primal wallet,
and was happy (no need of wallet of Satoshi anymore)