Re: [Monetdb-developers] [Monetdb-sql-checkins] sql/src/tools embeddedclient.mx, 1.23, 1.24 monetdb.py.i, 1.5, 1.6 prog.c, 1.17, 1.18