[MonetDB-users] monetdb copy command