Re: [MonetDB-users] Reusing index on another computer