Everything is still working fine for me since I imported my coins into a totally new wallet.dat. No problems whatsoever. So maybe that could be a solution for more people.