Re: [MonetDB-users] problem after upgrading (probably)