Re: [MonetDB-users] RHEL 3 RPMs