[MonetDB-users] MonetDB binary distribution question