Update MonetDB script for Feb2013 release