[MonetDB-users] cvs version (0.23) error