Re: [MonetDB-users] Compile time Options