new 'php-cli-functions' module and update of the binary builders in consequence ...
new index generation