Thanks for that, in the meantime, the wallet is up to date.
EDIT: The wallet is 0.8.55.0-unk-beta. Should I download 0.8.54b even though it has a lower version number?
I have not received much MMC from the pools in the last 9 weeks, much less than expected.