Phone -> Linux -> Linux? If that's the case, the coins are there like nothing had happened. You just sent them to yourself.
I guess this is exactly what he means, not sure where the problem is, I guess after sending from his Linux wallet, he has already gotten a new address, and he might be checking the new address for funds and it shows 0.
OP, the
BTC is still in your wallet, it just does not show on the old address, but if you try to send it, it should work.