Re: MonetDB: default - Merge with Oct2014 branch.