Re: [MonetDB-users] Nightly builds are still OK?