Re: possible monetdb catalogue corruption and how to recover from it?