If he can't upgrade, then perhaps downgrading is an option.
0.3.20.2 doesn't have this issue.
OK, thanks. I'll probably wait till v4.0 comes along, then if I still can't do it just zero out my wallet and delete everything (with BTC safely stored somewhere else) and start again from scratch.