[Monetdb-developers] php

De monetdb.so file moet echt in PHP_EXTENSION_DIR staan, anders kan de module niet worden gebruikt binnen PHP. Hoe zullen we dit fixen? Goed documenteren, of mischien een phpinstall.sh scriptje toevoegen wat het voor je regelt (wat als root moet worden uitgevoerd)?