Re: [Monetdb-developers] PHP compilation...