[Monetdb-developers] BAT-leak in gdk_logger.mx ?