Re: [MonetDB-users] Building 64 bits