Re: [MonetDB-users] Error building PF/Tijah index