Re: MonetDB: default - Merge with Feb2013 branch.