I'm not sure if I understand it correctly but I assume, that Jenkins builds a PHP archive (phar) without the LevelDB support included as those support must be included with adding the flag '-l' to the compile.sh of the build tools - is this correct? And if this is correct, is it planned to include LevelDB support by default into PMMP (read it is not done because it is unstable... when will it be stable) or is it planned to add a second phar with the LevelDB support included? Alternatively, is there a way for me to add a compiled leveldb php extension to the current existing phar on my server? I believe it is not possible.